Designing Protocols for Nuclear Warhead Verification
نویسندگان
چکیده
Future arms-control and disarmament treaties could place numerical limits on all categories of nuclear weapons in the arsenals of weapon states, including tactical weapons, non-deployed weapons, and weapons awaiting dismantlement. Verification of such agreements is likely to require new types of inspection equipment — but also new verification protocols. This paper offers a set of definitions and building blocks to design verification protocols relevant to nuclear weapon authentication. It discusses how to construct and use physical interactive protocols with zero-knowledge property for inspections. The discussion illustrated by examples include topics such as perfect and statistical zero-knowledge, properties of the prover and the verifier, using trusted and non-trusted apparatus and detectors, physical commitment schemes and composition of zero-knowledge protocols.
منابع مشابه
Monte Carlo simulations of a physical cryptographic warhead verification protocol using nuclear resonance fluorescence
Future multilateral nuclear arms reduction efforts will require technologies for the verification of treaty compliance. In particular, warheads slated for dismantlement will need to be verified for authenticity without revealing any sensitive weapons design information to international inspectors. Recent efforts have investigated physical cryptographic verification protocols that attempt to sol...
متن کاملNuclear Warhead Verification: A Review of Attribute and Template Systems
Verification of current nuclear arms control treaties between United States and Russia relies primarily on the verification of delivery vehicles. Warheads are counted indirectly via the delivery vehicles that they are associated with. As states move to lower numbers of nuclear weapons in their arsenals, verification will likely pose complex challenges. Most importantly, future nuclear disarmame...
متن کاملA New Approach to Nuclear Warhead Verification Using a Zero-Knowledge Protocol
Warhead verification systems proposed to date fundamentally rely on the use of information barriers to prevent the release of sensitive information. Measurements with information barriers significantly increase the complexity of inspection systems, make their certification and authentication difficult, and may reduce the overall confidence in the verifiability of future arms-control agreements....
متن کاملDownsizing Russia ’ s Nuclear Warhead Production Infrastructure Report
Over a period of 50 years, the Soviet Union built a giant infrastructure dedicated to designing, manufacturing, and maintaining nuclear bombs and warheads for a wide variety of strategic and tactical weapons systems (see Table 1). Under the conditions of the Soviet economic and political system, this nuclear weapons production complex developed into a self-sufficient, vastly redundant, and high...
متن کاملToward a Secure Inspection System for Nuclear Warhead Verification Without Information Barrier
We previously proposed an approach to nuclear warhead verification envisioning an inspection system that a priori avoids detection of sensitive information, using a so-called zero-knowledge protocol. Under such a protocol, the host can prove to an inspector that a warhead is authentic without revealing anything about its materials or design. The challenge remains, however, to demonstrate a prac...
متن کامل